Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
51	Real-Time Computing Without Stable States: A New Framework for Neural Computation Based on Perturbations Wolfgang Maass+, Thomas Natschläger+ & Henry Markram* + Institute for Theoretical Computer Science, Technische Un Add to Reading List Source URL: www.lsm.tugraz.at Language: English - Date: 2006-05-15 03:56:10 Neuroscience Liquid state machine Artificial neural network Biological neural network Recurrent neural network Perceptron Synaptic weight Henry Markram Neuron Neural networks Cybernetics Science
52	Information and Computation 149, 173225[removed]Article ID inco[removed], available online at http:www.idealibrary.com on Perpetual Reductions in -Calculus Femke van Raamsdonk Centre for Mathematics and Computer Sci Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2001-01-30 15:40:58 Lemmas Real analysis Commutative algebra Reduction strategy Mathematics Ideal
53	A Model for Real-Time Computation in Generic Neural Microcircuits Wolfgang Maass, Thomas Natschl a¨ ger Institute for Theoretical Computer Science Technische Universitaet Graz A-8010 Graz, Austria Add to Reading List Source URL: www.lsm.tugraz.at Language: English - Date: 2006-05-15 03:56:09 Neuroscience Biology Computational statistics Nervous system Artificial neural network Liquid state machine Biological neural network Synaptic weight Henry Markram Neural networks Computational neuroscience Science
54	Theory of Real Approximation and Exact Geometric Computation Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:23 Computer programming Algorithm Mathematical logic Theoretical computer science CGAL Floating point Computational geometry Computer science Mesh generation Computing Theory of computation Mathematics
55	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
56	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
57	OPTIMIZING COMPUTATIONAL PERFORMANCE FOR REAL-TIME MAPPING WITH AIRBORNE LASER SCANNING P. Schaer, J. Skaloud TOPO Lab, Swiss Federal Institute of Technology Lausanne (EPFL), Station 18, CH-1015 Lausanne, Switzerland (ph Add to Reading List Source URL: www.isprs.org Language: English - Date: 2012-10-18 14:33:28 Technology Principal component analysis Computation Remote sensing Digital elevation model Cloud computing Point cloud Laser scanning Photogrammetry Cartography Geography Statistics
58	Solving Recurrence Relations Gilles Cazelais We want to solve the recurrence relation an = Aan−1 + Ban−2 where A and B are real numbers. The solutions depend on the nature of the roots of the characterstic equation Add to Reading List Source URL: pages.pacificcoast.net Language: English - Date: 2006-11-15 18:54:32 Theory of computation Fibonacci number Characteristic equation Master theorem Mathematics Algebra Recurrence relation
59	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
60	Reliable Implementation of Real Number Algorithms: Theory and Practice Summary of Dagstuhl Seminar[removed]January 8 – 13, 2006 Peter Hertling1 , Christoph M. Hoffmann2 , Wolfram Luther3 , and Nathalie Revol4 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2006-09-13 04:47:08 Data types Computer science Arithmetic Numerical analysis Theory of computation Interval arithmetic Floating point Algorithm Rounding Computer arithmetic Mathematics Theoretical computer science

UPDATE